20

Information flow inference for ML

Year:
2002
Language:
english
File:
PDF, 279 KB
english, 2002
21

An extension of HM(X) with bounded existential and universal data-types

Year:
2003
Language:
english
File:
PDF, 174 KB
english, 2003
23

Information flow inference for ML

Year:
2003
Language:
english
File:
PDF, 542 KB
english, 2003